Model Checking Knowledge in Pursuit Evasion Games

Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games

The paper identifies a special case in which the complex problem of synthesis from specifications in temporal-epistemic logic can be reduced to the simpler problem of model checking such specifications. An application is given of strategy synthesis in pursuit-evasion games, where one or more pursuers with incomplete information aim to discover the existence of an evader. Experimental results ar...

Vision-based Detection of Autonomous Vehicles for Pursuit-evasion Games

We present a vision-based algorithm for the detection of multiple autonomous vehicles for a pursuit-evasion game scenario. Our algorithm computes estimates of the pose of multiple moving evaders from visual information collected by multiple moving pursuers, without previous knowledge of the segmentation of the image measurements or the number of moving evaders. We evaluate our algorithm in purs...

Game Theory Models for Pursuit Evasion Games

In a pursuit evasion game, the pursuer tries to capture the evader while the evader tries to prevent this capture. A classical approach is to model this game as an infinite differential game. In this report, we model a pursuit-evasion game as a finite extensive form game, and show that the differential game is a generalization of this game. We prove that a pure-strategy Nash equilibrium always ...

A Solution of Missile-aircraft Pursuit-evasion Differential Games in Medium Range

This paper shows a method to obtain the exact solution for a missile and an aircraft differential games which minimizes and maximizes the essential pay-off of the problem: the miss distance, without employing any linearized approximation. For this purpose, we introduced the concept of energy maneuverability. Once the families of optimal terminal surfaces are obtained, the proposed method can so...

How Pursuit-evasion Games help